1. Algorithmic randomness and complexity
پدیدآورنده : Downey, R. G.)Rod G.(, Rodney G. Downey, Denis R. Hirschfeldt
موضوع : ، Computational complexity,، Computable functions
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
2. Algorithmic randomness and complexity
پدیدآورنده : / Rodney G. Downey, Denis R. Hirschfeldt.
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Computational complexity.,Computable functions.
رده :
QA
267
.
7
.
D67
2010
3. Algorithmic randomness and complexity
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computational complexity. ; Computable functions. ;
4. Algorithmic randomness and complexity
پدیدآورنده : Downey, R. G. )Rod G.(
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Computational complexity,، Computable functions
رده :
QA
267
.
7
.
D69
2010
5. Algorithmic randomness and complexity
پدیدآورنده : / Rodney G. Downey, Denis R. Hirschfeldt
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computational complexity,Computable functions
رده :
E-BOOK
6. Algorithmic randomness and complexity
پدیدآورنده : / Rodney G. Downey, Denis R. Hirschfeldt
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computational complexity.,Computable functions.
رده :
QA
,
267
.
7
,.
D67
,
2010
7. Algorithmic randomness and complexity
پدیدآورنده : / Rodney G. Downey, Denis R. Hirschfeldt
کتابخانه: Campus International Library of Kish University of Tehran (Hormozgan)
موضوع : Computational complexity.,Computable functions.
رده :
QA
267
.
7
.
D6
2010
8. Automata, computability and complexity :
پدیدآورنده : Elaine Rich.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.,Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.
رده :
QA267
.
R53
2008
9. Berechenbarkeit, Komplexität, Logik :
پدیدآورنده : Egon Börger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions.,Computational complexity.,Logic, Symbolic and mathematical.
رده :
QA9
.
56
E366
1992
10. Combinatorics, computability and logic :
پدیدآورنده : C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
11. Combinatorics, computability and logic :
پدیدآورنده : C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA164
.
C733
2001
12. Computability.
پدیدآورنده : Klaus Weihrauch
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA9
.
59
K538
2012
13. Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers
پدیدآورنده : Jens Blanck, Vasco Brattka, Peter Hertling )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Mathematical analysis,Congresses ، Computable functions,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
2064
14. Computability, complexity, and languages :
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
15. Computability, complexity, logic
پدیدآورنده : Borger, Egon, 6491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B6713
16. Computability, complexity, logic
پدیدآورنده : Borger, E.)Egon(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computable functions,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B6713
1989
17. Computability in context :
پدیدآورنده : editors, S. Barry Cooper, Andrea Sorbi
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions,Computational intelligence,Mathematics-- Philosophy,Set theory
رده :
QA9
.
59
.
C655
2011
18. Computation, Logic, Philosophy :
پدیدآورنده : by Hao Wang.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information theory.,Mathematics.,Technology -- Philosophy.
19. Computation and automata
پدیدآورنده : Salomaa, Arto
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computable functions,، Computational complexity,، Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
20. Computation and automata
پدیدآورنده : Salomaa, Arto
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Computable functions,، Computational complexity,Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
